$\forall$${\it es}$:ES, $i$, $x$:Id. AtomFree(Type;vartype($i$;$x$))